School of Computer Science BCS accreditation 2021 - 2026

Computer Systems Engineering BEng (Hons) - 2.1.4 Analyse if/how a system meets current and future requirements

COMP10120 First Year Team Project

Although the requirements are determined by the group, they reflect on these and future needs in the final presentation.

Assesement : Presentation

COMP11120 Mathematical Techniques for Computer Science

It enables students to use logic to establish such criteria formally and it provides examples fo how to give proofs of such properties.

Assesement : Examination, Individual coursework

COMP11212 Fundamentals of Computation

The unit introduces the notion of computational correctness and the use of formal specifications to describe behaviour.

Assesement : Examination, Individual coursework

COMP15212 Operating Systems

The course covers the evolving needs of users compared with the affordances / cost of the technology; for example the change in ratio between the address size and cost/availability of physical memory and backing store.

Assesement : Examination

COMP16412 Introduction to Programming 2

Students learn testing through the provision of unit tests in the labs and coursework in order to make sure that their code meets the expectations set.

Assesement : Group coursework, Lab work

COMP22111 Processor Microarchitecture

Investigation of future approaches to computing.

Assesement : Examination

COMP22712 Microcontrollers

Introduction of general concepts and how they are used in present and future systems.

Assesement : Not Assessed

COMP23311 Software Engineering 1

Bugs are injected into the system and the course requires that students fix those bugs

Assesement : Individual coursework, Group coursework

COMP23412 Software Engineering 2

As students build an enterprise web system over a period of ten weeks, students are given new requirement every week whereby the lecturers act as customers. Students are encouraged to check with the "customers" whether the requirements are met. In this way, students learn that requirements can be initially ambiguous and become more specific over time. They also learn that some requirements may disappear, some others will emerge unexpectedly and some other are open to interpretation.

Assesement : Examination, Group coursework

COMP25212 System Architecture

The course includes coverage of current and future trends in systems architecture

Assesement : Examination, Lab work

COMP26020 Programming Languages & Paradigms

There is one part of the course unit, which is dedicated to future trends in programming languages.

Assesement : Examination, Individual coursework

COMP26120 Algorithms and Data Structures

Emphasis is placed on being able to argue and/or demonstrate the correctness and complexity of an algorithmic solution.

Assesement : Examination, Lab work

COMP30040 Third Year Project Laboratory

The student's work will be evaluated against requirements derived as part of the project.

Assesement : Individual coursework

COMP35112 Chip Multiprocessors

In the lectures we cover how some design points of multiprocessors (such as cache coherency) do not scale well with the increase in cores expected in future processors.

Assesement : Examination